Nhìn chung, một phần tử lớn nhất, nếu tồn tại, thì là một phần tử tối đại, và nó là phần tử tối đại duy nhất, nhưng điều ngược lại không đúng: một tập hợp có thể có nhiều phần tử tối đại mà không có phần tử lớn nhất.

Tương tự, một phần tử nhỏ nhất, nếu tồn tại, thì là phần tử tối tiểu duy nhất.